b:Decision. b = false  b 

latex

Definitions	Decision, false, b, , Unit, P  Q, P & Q, P  Q, Prop, x:A. B(x), True, Top, t  T, A, P  Q, False
Lemmas	false wf, not wf, true wf, it wf, top wf